# TCP port used for the DMTP server socket
# +0
tcp.port=10430

# UDP socket address of the monitoring server
monitoring.host=127.0.0.1
# +8
monitoring.port=10438

# ============================================= Required for Assignment 2

# name of the root nameserver's remote object
root_id=root-nameserver

# RMI registry host
registry.host=localhost

# RMI registry port
# +9
registry.port=10439
